Logical Equivalence Without Truth Tables